（来源：上观新闻）
Q：那问题🇱🇺✉依旧存👤在——现在👨👨👦👦🏭你们手头🍴有大量资金，并🕗👨🔬且一直🎟🍿赚更多的钱，你们🔵应该用这些资🇹🇭金来做👷什么？一✡个答案⏱⚾是，一个🐛中间商生态系🥑🔘统正在🚸🛰崛起，他们🎪📓使得这些研究实🥝👨👧👦验室将资金性开🎯🏨支转为运营性开支🇸🇭🇯🇲，以便这些实📸验室可以租用计算🧾🏬资源🚶。Toke☎💦n不再是唯一的🇪🇨主角，它更像是底🇬🇦🇪🇦层的一🎇🇺🇬种计量单位🍲😱。" 当时的AI🎪，用他📋的话说，"🇸🇱惨不忍睹👩👦👦🕜"🏄😱。
在20V💟C节目中被⛹️♀️问到为什么要💌上市时，Fe➕🧝♀️ldman的回答🎷🔒很干脆🐂。“用户通常使用🍥🇻🇳自然语🐱言描述系统🐫设计，FM-Ag🌟ent 生成🗄的规约也是自然语🇸🇸📃言，而👅传统形式化🆓🖌验证器只支🎃持基于数学公🌯式的推理，二者🏮⛄存在巨大🙍🏺的语义鸿沟🔙。
